681. Proceedings of the thirty-third annual ACM Symposium on the Theory of Computing: Hersonissos, Crete, Greece, July 6-8, 2001
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : Congresses ، Machine theory,Congresses ، Computational complexity
رده :
QA
267
.
A27
2001
682. Proceedings, structure in complexity theory: fourth annual conference, June 19-22, 1989, University of Oregon, Eugene, Oregon
پدیدآورنده : Sponsored by Computer Society Technical Committee on Mathematical Foundations of Computing
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، Computational complexity -- Congresses
رده :
QA
267
.
P757
1989
683. Proceedings : 15th Annual IEEE conference on computational complexity : July 4-7, 2000 Florence, Italy
پدیدآورنده : IEEE Conference on Computational Complexity) 51th: 0002: Florence, Italy(
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)
موضوع : ، Computational complexity - Congresses,، Nonlinear boundary value problems - Congresses
رده :
QA
267
.
7
.
S76
2000
684. Proceedings 15th Annual IEEE conferene computational complexity, July 4-7, 2000, Florence, Italy
پدیدآورنده : sponsored by IEEE Computer Society Technical Commitee for Mathematical Foundations of Computing; in cooperation with ACM SIGACT EATCS
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Computational complexity,Congresses ، Nonlinear boundary value problems,Congresses ، Polynomials
رده :
QA
267
.
7
.
S77
2000
685. Proof complexity
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Proof theory. ; Computational complexity. ;
686. Provability, complexity, grammars
پدیدآورنده : Lev Beklemishev, Mati Pentus, Nikolai Vereshchagin.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computational complexity.,Mathematical linguistics.,Modality (Logic),Proof theory.
687. Public Key Cryptography ђ́أ PKC 2012
پدیدآورنده : edited by Marc Fischlin, Johannes Buchmann, Mark Manulis
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computational complexity,Computer Communication Networks,Computer science,Computer software,Data encryption (Computer science),Data protection,Information Systems,Algorithm Analysis and Problem Complexity,Computer Communication Networks,Computer Science,Data Encryption,Discrete Mathematics in Computer Science,Management of Computing and Information Systems,Systems and Data Security
688. Quantum Computing verstehen :
پدیدآورنده : von Matthias Homeister.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computational complexity.,Computer science.,Quantencomputer
689. Randomized algorithms
پدیدآورنده : / Russ Bubley
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Markov processes,Monte Carlo method,Computational complexity
رده :
QA274
.
2
.
B82
2001
690. Randomized algorithms :
پدیدآورنده : Russ Bubley
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computational complexity,Markov processes,Monte Carlo method
رده :
QA274
.
2
.
B82
2001
691. Randomized algorithms
پدیدآورنده : / Russ Bubley
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Markov processes,Monte Carlo method,Computational complexity
رده :
QA274
.
2
.
B82
2001
692. Randomized algorithms
پدیدآورنده : / Russ Bubley
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Markov processes,Monte Carlo method,Computational complexity
رده :
QA274
.
2
.
B82
2001
693. Randomness and completeness in computational complexity
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computational complexity. ;
694. Randomness and completeness in computational complexity
پدیدآورنده : Melkebeek, Dieter Van
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computer science -- Mathematics,، Computational complexity
رده :
QA
76
.
L28
Vol
.
1950
695. Recent Advances in Nonlinear Dynamics and Synchronization
پدیدآورنده :
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Engineering ,Computational intelligence ,Complexity, Computational ,مهندسی,هوش محاسباتی,پیچیدگی محاسباتی
رده :
E-Book
,
696. Recent advances in real complexity and computation : UIMP-RSME Lluis A. Santalo Summer School, recent advances in real complexity and computation, July 16-20, 2012, Spain
پدیدآورنده : Jose Luis M. Pardo, editors
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computational complexity
رده :
QA
267
.
7
.
U45
2012
697. Reliable and autonomous computational scienc
پدیدآورنده : / Sung Y. Shin, Rex Gantenbein, Tei-Wei Kuo, Jiman Hong (eds.)
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Computational complexity, Congresses,Computational intelligence, Congresses,Intelligent agents (Computer software), Congresses
رده :
E-BOOK
698. Reliable and autonomous computational science
پدیدآورنده : Sung Y. Shin, Rex Gantenbein, Tei-Wei Kuo, Jiman Hong (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computational complexity, Congresses.,Computational intelligence, Congresses.,Intelligent agents (Computer software), Congresses.
699. Research in computational topology /
پدیدآورنده : Erin Wolf Chambers, Brittany Terese Fasy, Lori Ziegelmeier editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Algorithms.,Computational complexity.,Geometry-- Data processing-- Research.,Topology-- Data processing-- Research.,Algorithms.,Computational complexity.,MATHEMATICS-- Topology.
رده :
QA611
700. Research in computational topology
پدیدآورنده : Erin Wolf Chambers, Brittany Terese Fasy, Lori Ziegelmeier, editors
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Data processing -- Research ، Topology,Data processing -- Research ، Geometry,، Computational complexity,، Algorithms
رده :
QA
611
.
R47
